GitHub: Collaboration and Dissemination
Assistant Professor at Charles University
Head of 🧑💻Laboratory of Quantitative Ecology
photo by Vladimír Šigut (CUNI)
😸Code on GitHub: OndrejMottl/VersionControl_DataStewards_June2025
🖼️Slides: bit.ly/mottl_prez_20250605
flowchart LR
subgraph Project
direction TB
subgraph Workflow
direction LR
A3(["make a branch"]) ==> A4(["make commits"])
A4 ==> A5(["make A PR"])
A5 ==> A6(["review PR"])
A6 ==> A7(["merge PR"])
A7 ==> A8(["delete branch"])
A8 -.-> A3
end
A1(["new repo"]) --> A2(["Clone it"])
A2 --> Workflow
end
05:00 GitHub Discussions are project-specific space for communication on GitHub.
You can use Markdown on GitHub in the description and comments
More details on Github Docs
15:00 05:00 For organisations, Github allows you to specify roles and permissions of your repo.
A … task management tool … is your best friend when it comes to organizing, assigning, tracking, and reporting on tasks.
There are many tools for task management!!!
Original purpose of GitHub Issues is to track bugs & feature requests in software developmen projects🧑💻.
However, We can highjack it for any kind of task management🦹.
You can split tasks into subtasks and checklists.
This allow to track progress more granularly.
05:00 You can use labels to categorize tasks.
Be crateative! You can create your own labels based on:
05:00 Issues can be linked to Pull Requests.
Link specific work with specific changes.
When a PR is merged, the issue is closed automatically.
Use the word close or fix in the PR description to link it to the issue.
The issue is closed by the PR
10:00 You can create a Milestone for:
15:00 You can organise your Issues and Pull Requests in Projects.
You can customise the columns in Projects with:
15:00 There is so much more you can do with Projects:
Check the official documentation
GitHub: Collaboration and Dissemination
05.06.2025
photo by Vladimír Šigut (CUNI)